(define
  (problem strips-mysty-x-9)
  (:domain no-mystery-strips)
  (:objects bad-bellingen emmendingen hugstetten muellheim tumringen
      boetzingen endingen muellabfuhr moped fahrrad feuerwehr fleisch
      pfingstochse kiste-bier twix flasche-jaegermeister zamomin
      bananenkiste karfiol taschenrechner weihnachtsbaum
      seitenbacher-muesli grobe-bratwurst donnerkiesel fuel-0 fuel-1
      fuel-2 fuel-3 fuel-4 capacity-0 capacity-1 capacity-2
      capacity-3)
  (:init
    (at bananenkiste hugstetten)
    (at donnerkiesel endingen)
    (at fahrrad boetzingen)
    (at feuerwehr endingen)
    (at flasche-jaegermeister hugstetten)
    (at fleisch emmendingen)
    (at grobe-bratwurst endingen)
    (at karfiol tumringen)
    (at kiste-bier hugstetten)
    (at moped hugstetten)
    (at muellabfuhr emmendingen)
    (at pfingstochse emmendingen)
    (at seitenbacher-muesli endingen)
    (at taschenrechner tumringen)
    (at twix hugstetten)
    (at weihnachtsbaum endingen)
    (at zamomin hugstetten)
    (capacity fahrrad capacity-1)
    (capacity feuerwehr capacity-1)
    (capacity moped capacity-1)
    (capacity muellabfuhr capacity-3)
    (capacity-number capacity-0)
    (capacity-number capacity-1)
    (capacity-number capacity-2)
    (capacity-number capacity-3)
    (capacity-predecessor capacity-0 capacity-1)
    (capacity-predecessor capacity-1 capacity-2)
    (capacity-predecessor capacity-2 capacity-3)
    (connected bad-bellingen boetzingen)
    (connected bad-bellingen endingen)
    (connected boetzingen bad-bellingen)
    (connected boetzingen tumringen)
    (connected emmendingen muellheim)
    (connected emmendingen tumringen)
    (connected endingen bad-bellingen)
    (connected endingen hugstetten)
    (connected hugstetten endingen)
    (connected hugstetten muellheim)
    (connected muellheim emmendingen)
    (connected muellheim hugstetten)
    (connected tumringen boetzingen)
    (connected tumringen emmendingen)
    (fuel bad-bellingen fuel-2)
    (fuel boetzingen fuel-1)
    (fuel emmendingen fuel-2)
    (fuel endingen fuel-4)
    (fuel hugstetten fuel-2)
    (fuel muellheim fuel-0)
    (fuel tumringen fuel-1)
    (fuel-number fuel-0)
    (fuel-number fuel-1)
    (fuel-number fuel-2)
    (fuel-number fuel-3)
    (fuel-number fuel-4)
    (fuel-predecessor fuel-0 fuel-1)
    (fuel-predecessor fuel-1 fuel-2)
    (fuel-predecessor fuel-2 fuel-3)
    (fuel-predecessor fuel-3 fuel-4)
    (location bad-bellingen)
    (location boetzingen)
    (location emmendingen)
    (location endingen)
    (location hugstetten)
    (location muellheim)
    (location tumringen)
    (package bananenkiste)
    (package donnerkiesel)
    (package flasche-jaegermeister)
    (package fleisch)
    (package grobe-bratwurst)
    (package karfiol)
    (package kiste-bier)
    (package pfingstochse)
    (package seitenbacher-muesli)
    (package taschenrechner)
    (package twix)
    (package weihnachtsbaum)
    (package zamomin)
    (vehicle fahrrad)
    (vehicle feuerwehr)
    (vehicle moped)
    (vehicle muellabfuhr))
  (:goal
    (and
      (at pfingstochse muellheim)
      (at seitenbacher-muesli tumringen))))
